totient 関数